prover

释义

证人，校准[试验]装置，打校样工人；

An efficient propositional prover
Simplify: a theorem prover for program checking
Isabelle --- A Generic Theorem Prover
On the power of unique 2-prover 1-round games
On the power of unique 2-prover 1-round games
SATO: An Efficient Propositional Prover
Isabelle - A Generic Theorem Prover (with a contribution by T. Nipkow)
Isabelle - A Generic Theorem Prover (with a contribution by T. Nipkow)
Nondeterministic exponential time has two-prover interactive protocols
Non-Deterministic Exponential Time has Two-Prover Interactive Protocols